大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Global Computing [electronic resource] : IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

0
索取号：
作者：Priami、 Corrado.、Quaglia、 Paola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

0
索取号：
作者：Dix、 J眉rgen.、Hegner、 Stephen J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and High Performance Computing II [electronic resource] : The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

0
索取号：
作者：Krause、 Egon.、Shokin、 Yurii.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

0
索取号：
作者：Black、 Andrew P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Web-Based Learning-ICWL 2005 [electronic resource] : 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings

0
索取号：
作者：Lau、 Rynson W. H.、Li、 Qing.、Cheung、 Ronnie.、Liu、 Wenyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

0
索取号：
作者：Fitzgerald、 John.、Hayes、 Ian J.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Intelligent Data Engineering and Automated Learning - IDEAL 2005 [electronic resource] : 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings

0
索取号：
作者：Gallagher、 Marcus.、Hogan、 James P.、Maire、 Frederic.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

0
索取号：
作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

0
索取号：
作者：Etessami、 Kousha.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

0
索取号：
作者：Boyd、 Colin.、Gonz谩lez Nieto、 Juan Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

0
索取号：
作者：Felice、 Clelia.、Restivo、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Image and Video Retrieval [electronic resource] : 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings

0
索取号：
作者：Leow、 Wee-Kheng.、Lew、 Michael S.、Chua、 Tat-Seng.、Ma、 Wei-Ying.、Chaisorn、 Lekha.、Bakker、 Erwin M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database: Enterprise, Skills and Innovation [electronic resource] : 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005. Proceedings

0
索取号：
作者：Jackson、 Mike.、Nelson、 David.、Stirk、 Sue.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Processing in Medical Imaging [electronic resource] : 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005. Proceedings

0
索取号：
作者：Christensen、 Gary E.、Sonka、 Milan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

0
索取号：
作者：Eisinger、 Norbert.、Ma艂uszy艅ski、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 鈥ʵly 1, 2005. Proceedings

0
索取号：
作者：Prasanna、 Viktor K.、Iyengar、 Sitharama S.、Spirakis、 Paul G.、Welsh、 Matt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.